Verifiable Self-Aware Agent-Based Autonomous Systems
نویسندگان
چکیده
منابع مشابه
Programming Verifiable Heterogeneous Agent Systems
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. Thus, in this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantical...
متن کاملA Verifiable Logic-Based Agent Architecture
In this paper, we present the SCIFF platform for multi-agent systems. The platform is based on Abductive Logic Programming, with a uniform language for specifying agent policies and interaction protocols. A significant advantage of the computational logic foundation of the SCIFF framework is that the declarative specifications of agent policies and interaction protocols can be used directly, at...
متن کاملVerifiable Multi-agent Programs
AgentSpeak is a rea tive planning language for programming autonomous agents. It has re ently been shown that model he king te hniques an be applied to the veri ation of AgentSpeak systems, through a translation to promela, the model spe i ation language for the SPIN LTL modelhe king system. In this paper, we introdu e an alternative veri ation approa h for AgentSpeak, by translating AgentSpeak...
متن کاملVerifiable agent dialogues
In this paper, we introduce the Multi-Agent Protocol (MAP) language which expresses dialogues in Multi-Agent Systems. MAP defines precisely the pattern of message exchange that occurs between the agents, though it is independent of the actual rational processes and message-content. This approach makes MAP applicable to a wide range of different agent architectures, e.g. reactive, proactive, and...
متن کاملSoftware Agent Measurement and Self-Measuring Agent-Based Systems
2 Software Agents and Agent-Based Systems ........................................... 3 2.1 Principles and Techniques of Software Agents .......................................................... 3 2.2 Architectures of Agent-Based Systems ........................................................................18 2.3 Examples of Software Agents Systems in the WWW ...................................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the IEEE
سال: 2020
ISSN: 0018-9219,1558-2256
DOI: 10.1109/jproc.2020.2991262